
// system calls
int write(int, const void*, int);
int exit(int) __attribute__((noreturn));

// ulib.c
void fprintf(int, const char*, ...);
void printf(const char*, ...);